rekursive Arithmetik

rekursive Arithmetik
рекурсивная арифметика

Немецко-русский математический словарь. 2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "rekursive Arithmetik" в других словарях:

  • Peano-Arithmetik — Die Peano Arithmetik (erster Stufe) ist eine Theorie der Arithmetik, also der Natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt… …   Deutsch Wikipedia

  • Peano-Axiome — Die Peano Axiome (auch Dedekind–Peano Axiome oder Peano Postulate) sind eine Menge von Axiomen, welche die natürlichen Zahlen und ihre Eigenschaften charakterisieren. Sie wurden 1889 vom italienischen Mathematiker Giuseppe Peano formuliert[1] und …   Deutsch Wikipedia

  • Natürliche Zahl — ℕ Die natürlichen Zahlen sind die beim Zählen verwendeten Zahlen 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 usw. Oft wird auch die Null zu den natürlichen Zahlen gerechnet. Die natürlichen Zahlen bilden mit der Addition und der Multiplikation zusammen eine… …   Deutsch Wikipedia

  • Definition — Eine Definition (lateinisch definitio = Abgrenzung aus de = ab/weg und finis = Grenze) ist je nach der Definitionslehre, der hierbei gefolgt wird, entweder 1. eine Bestimmung des Wesens einer zu erklärenden Sache oder 2. eines Begriffs oder… …   Deutsch Wikipedia

  • Vollständige Induktion — ist eine mathematische Beweismethode, nach der eine Aussage für alle natürlichen Zahlen bewiesen wird. Da es sich um unendlich viele Zahlen handelt, kann solch ein Beweis nicht für alle Einzelfälle durchgeführt werden. Er wird daher in zwei… …   Deutsch Wikipedia

  • Rekursiver arithmetischer Zufallszahlengenerator — Arithmetische Zufallszahlengeneratoren sind Zufallszahlengeneratoren zur Erzeugung von Zufallszahlen, die auf der Arithmetik beruhen. Sie basieren auf dem Satz von Weyl, verwenden also als Generator, wobei die Definitionen bei Satz von Weyl… …   Deutsch Wikipedia

  • Güntherlogik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

  • Kenogramm — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

  • Polykontexturale Logik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

  • Polykontexturallogik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

  • Omega-Konsistenz — In der mathematischen Logik wird als ω konsistent (oder omega konsistent) eine Theorie bezeichnet, falls sie nicht nur konsistent ist, sondern zusätzlich auch nicht gewisse unendliche Kombinationen von Sätzen beweisen kann, welche intuitiv… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»